Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
111	The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Theoretical computer science Computer science Computability theory Alan Turing Algorithm Tag system Finite-state machine Description number Read-only Turing machine Turing machine Theory of computation Models of computation
112	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
113	Multimodal Event Parsing for Intelligent User Interfaces Will Fitzgerald Kalamazoo College Kalamazoo, MI USA + Add to Reading List Source URL: www.entish.org Language: English - Date: 1969-12-31 19:00:00 Software Automata theory Finite-state machine Speech recognition Formal grammar Dialog system Pattern recognition Tron Parsing Humanâ€“computer interaction Formal languages Computing
114	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
115	Boletín IIE octubre-diciembre-2014 Artículo de investigación Optimal robot navigation for inspection and surveillance in electric substations Add to Reading List Source URL: www.iie.org.mx Language: English - Date: 2015-03-04 14:21:40 Stochastic control Markov decision process Robot Reinforcement learning Mobile robot Finite-state machine Player Project Bellman equation Electrical substation Statistics Dynamic programming Markov processes
116	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
117	MSR-Asia at TREC-10 Video Track: Shot Boundary Detection Task Yu-Fei Ma, Jia Sheng+, Yuan Chen#, Hong-Jiang Zhang * Microsoft Research, Asia {i-yfma, hjzhang}@microsoft.com Department of Computer Science and Technology Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2002-03-14 09:11:43 Shot transition detection Video processing MPEG-1 Data compression Transition Finite-state machine Digital video Electronic engineering Video Electronics
118	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
119	(L) Transducing RunesL1. B) start Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Finite-state machine Edge Digital electronics Models of computation Automata theory
120	YOUR NAME: REGISTRATION # (L) Transducing Runespoints] Before the Roman alphabet was introduced to Northern Europe, much of Scandinavia and what is Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Runic script Anglo-Saxon runes Finite-state machine Jēran Linguistics Germanic peoples Runic magic Notation Elder Futhark Alphabetic writing systems Automata theory Models of computation

UPDATE